1. Buchi's monadic second order successor arithmetic
پدیدآورنده : Siefkes, Dirk
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Predicate calculus,، Sequential machine theory
رده :
QA
3
.
L28
no
.
120
